An evaluation of clone detection techniques for identifying crosscutting concerns

Code implementing a crosscutting concern is often spread over many different parts of an application. Identifying such code automatically greatly improves both the maintainability and the evolvability of the application. First of all, it allows a developer to more easily find the places in the code that must be changed when the concern changes, and thus makes such changes less time consuming and less prone to errors. Second, it allows a developer to refactor the code, so that it uses modern and more advanced abstraction mechanisms, thereby restoring its modularity. In this paper, we evaluate the suitability of clone detection as a technique for the identification of crosscutting concerns. To that end, we manually identify four specific concerns in an industrial C application, and analyze to what extent clone detection is capable of finding these concerns. We consider our results as a stepping stone toward an automated 'concern miner' based on clone detection

Program transformations using temporal logic side conditions

This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimisations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimising steps. The approach is illustrated through a transformational case study where we apply several optimisations to a small program

Resource constraints in successful climate policy : key constraints and bottlenecks, and some solutions

Industrial Ecolog

Measuring primordial gravitational waves from CMB B-modes in cosmologies with generalized expansion histories

We evaluate our capability to constrain the abundance of primordial tensor perturbations in cosmologies with generalized expansion histories in the epoch of cosmic acceleration. Forthcoming satellite and sub-orbital experiments probing polarization in the CMB are expected to measure the B-mode power in CMB polarization, coming from PGWs on the degree scale, as well as gravitational lensing on arcmin scales; the latter is the main competitor for the measurement of PGWs, and is directly affected by the underlying expansion history, determined by the presence of a DE component. In particular, we consider early DE possible scenarios, in which the expansion history is substantially modified at the epoch in which the CMB lensing is most relevant. We show that the introduction of a parametrized DE may induce a variation as large as 30% in the ratio of the power of lensing and PGWs on the degree scale. We find that adopting the nominal specifications of upcoming satellite measurements the constraining power on PGWs is weakened by the inclusion of the extra degrees of freedom, resulting in a reduction of about 10% of the upper limits on r in fiducial models with no GWs, as well as a comparable increase in the error bars in models with non-zero r. Moreover, we find that the inclusion of sub-orbital CMB experiments, capable of mapping the B-mode power up to the angular scales affected by lensing, can restore the forecasted performances with a cosmological constant. Finally, we show how the combination of CMB data with Type Ia SNe, BAO and Hubble constant allows to constrain simultaneously r and the DE quantities in the parametrization we consider, consisting of present abundance and first redshift derivative of the energy density. We compare this study with results obtained using the forecasted lensing potential measurement precision from CMB satellite observations, finding consistent results.Comment: 17 pages, 9 figures, accepted for publication by JCAP. Modified version after the referee's comment

Using CO 2 spatial variability to quantify representation errors of satellite CO 2 retrievals

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/95625/1/grl24793.pd

The Halo Mass of Optically Luminous Quasars at z ,F≈ ,F1-2 Measured via Gravitational Deflection of the Cosmic Microwave Background

© 2019. The American Astronomical Society. All rights reserved.We measure the average deflection of cosmic microwave background photons by quasars at 〈Z〉= 1.7. Our sample is selected from the Sloan Digital Sky Survey to cover the redshift range 0.9 ≤z≤2.2 with absolute i-band magnitudes of M i ≤-24 (K-corrected to z = 2). A stack of nearly 200,000 targets reveals an 8δ detection of Planck's estimate of the lensing convergence toward the quasars. We fit the signal with a model comprising a Navarro-Frenk-White density profile and a two-halo term accounting for correlated large-scale structure, which dominates the observed signal. The best-fitting model is described by an average halo mass log 10 (M h h -1 M)12.6 ±0.2 = and linear bias b=2.7±0.3 at 〈Z 〉= 1.7, in excellent agreement with clustering studies. We also report a hint, at a 90% confidence level, of a correlation between the convergence amplitude and luminosity, indicating that quasars brighter than Mi≲ -26 reside in halos of typical mass M h ≈ 10 13 h -1 M, scaling roughly as M h ∞ L opt 3/4 at M i ≲-24 mag, in good agreement with physically motivated quasar demography models. Although we acknowledge that this luminosity dependence is a marginal result, the observed Mh-L opt relationship could be interpreted as a reflection of the cutoff in the distribution of black hole accretion rates toward high Eddington ratios: the weak trend of Mh with Lopt observed at low luminosity becomes stronger for the most powerful quasars, which tend to be accreting close to the Eddington limit.Peer reviewedFinal Accepted Versio

Survey strategy optimization for the Atacama Cosmology Telescope

In recent years there have been significant improvements in the sensitivity and the angular resolution of the instruments dedicated to the observation of the Cosmic Microwave Background (CMB). ACTPol is the first polarization receiver for the Atacama Cosmology Telescope (ACT) and is observing the CMB sky with arcmin resolution over about 2000 sq. deg. Its upgrade, Advanced ACTPol (AdvACT), will observe the CMB in five frequency bands and over a larger area of the sky. We describe the optimization and implementation of the ACTPol and AdvACT surveys. The selection of the observed fields is driven mainly by the science goals, that is, small angular scale CMB measurements, B-mode measurements and cross-correlation studies. For the ACTPol survey we have observed patches of the southern galactic sky with low galactic foreground emissions which were also chosen to maximize the overlap with several galaxy surveys to allow unique cross-correlation studies. A wider field in the northern galactic cap ensured significant additional overlap with the BOSS spectroscopic survey. The exact shapes and footprints of the fields were optimized to achieve uniform coverage and to obtain cross-linked maps by observing the fields with different scan directions. We have maximized the efficiency of the survey by implementing a close to 24 hour observing strategy, switching between daytime and nighttime observing plans and minimizing the telescope idle time. We describe the challenges represented by the survey optimization for the significantly wider area observed by AdvACT, which will observe roughly half of the low-foreground sky. The survey strategies described here may prove useful for planning future ground-based CMB surveys, such as the Simons Observatory and CMB Stage IV surveys.Comment: 14 Pages, 9 Figures, 4 Table

Подсистема автономного программно-аппаратного комплекса для индуктивного долгосрочного прогноза осредненных значений метеопараметров

The research of the inductive method of long-term (forestalling to 0,5 year) prognosis of average decade air s temperature on the basis of principle of analogies was executed and it s sufficient was shown. The research of the offered approach was also conducted: in the base of spatial models without principle of analogies; in the polynomial harmonic base; the analysis of middle quality of the inductive prognostic method for cases of the analogue principle usage and without it